AFTA: A Formal Delay Model for Functional Timing Analysis
نویسندگان
چکیده
Despite its importance, we find that a rigorous theoretical foundation for performing timing analysis has been lacking so far. As a result, we have initiated a research project that aims to provide such a foundation for functional timing analysis. As part of this work we have developed an abstract automaton based delay model that accounts for the various analog factors affecting delay, such as signals slopes, near simultaneous switching, etc., while at the same time accounting for circuit functionality. This paper presents this delay model.
منابع مشابه
Threshold harvesting policy and delayed ratio-dependent functional response predator-prey model
This paper deals with a delayed ratio-dependent functional response predator-prey model with a threshold harvesting policy. We study the equilibria of the system before and after the threshold. We show that the threshold harvesting can improve the undesirable behavior such as nonexistence of interior equilibria. The global analysis of the model as well as boundedness and permanence properties a...
متن کاملSuperconvergence analysis of multistep collocation method for delay functional integral equations
In this paper, we will present a review of the multistep collocation method for Delay Volterra Integral Equations (DVIEs) from [1] and then, we study the superconvergence analysis of the multistep collocation method for DVIEs. Some numerical examples are given to confirm our theoretical results.
متن کاملBIFURCATION ANALYSIS OF A DDE MODEL OF THE CORAL REEF
In this paper, first we discuss a local stability analysis of model was introduced by P. J. Mumby et. al. (2007), with $frac{gM^{2}}{M+T}$ as the functional response term. We conclude that the grazing intensity is the important parameter to control the existence or extinction of the coral reef. Next, we consider this model under the influence of the time delay as the bifurcat...
متن کاملTowards Provably-Secure Timed E-Commerce: The Trusted Delivery Layer
Certified exchange of messages is an essential mechanism for e-commerce; the timing aspects (timeouts and timestamps) are very important for practical applications. However existing formal methods for security analysis assume simplified completely synchronous or completely asynchronous models, and cannot deal with the timing aspects of these (and other e-commerce) protocols. We present model fo...
متن کاملA Faithful Binary Circuit Model with Adversarial Noise
Accurate delay models are important for static and dynamic timing analysis of digital circuits, and mandatory for formal verification. However, Függer et al. [IEEE TC 2016] proved that pure and inertial delays, which are employed for dynamic timing analysis in state-of-the-art tools like ModelSim, NC-Sim and VCS, do not yield faithful digital circuit models. Involution delays, which are based o...
متن کامل